Ayala-Rincon, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A Formalization of the Knuth–Bendix(–Huet) Critical Pair Theorem

André L. Galdino, Mauricio Ayala-Rincón

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 525 KB

english, 2010

2

Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions

Flávio L.C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine

Journal:

Journal of Applied Logic

Year:

2008

Language:

english

File:

PDF, 532 KB

english, 2008

3

[IEEE 2014 IEEE Congress on Evolutionary Computation (CEC) - Beijing, China (2014.7.6-2014.7.11)] 2014 IEEE Congress on Evolutionary Computation (CEC) - Memetic algorithm for sorting unsigned permutations by reversals

Soncco-Alvarez, Jose Luis, Ayala-Rincon, Mauricio

Year:

2014

Language:

english

File:

PDF, 420 KB

english, 2014

4

Explicit substitution calculi with de Bruijn indices and intersection type systems

Ventura, D. L., Kamareddine, F., Ayala-Rincon, M.

Journal:

Logic Journal of IGPL

Year:

2015

Language:

english

File:

PDF, 1.02 MB

english, 2015

5

First-order unification in the PVS proof assistant

Avelar, A. B., Galdino, A. L., de Moura, F. L. C., Ayala-Rincon, M.

Journal:

Logic Journal of IGPL

Year:

2014

Language:

english

File:

PDF, 308 KB

english, 2014

6

On the average number of reversals needed to sort signed permutations

de Lima, Thaynara Arielly, Ayala-Rincón, Mauricio

Journal:

Discrete Applied Mathematics

Year:

2018

Language:

english

File:

PDF, 696 KB

english, 2018

7

[IEEE 2018 Data Compression Conference (DCC) - Snowbird, UT, USA (2018.3.27-2018.3.30)] 2018 Data Compression Conference - A Grammar Compression Algorithm Based on Induced Suffix Sorting

Saad Nogueira Nunes, Daniel, Louza, Felipe, Gog, Simon, Ayala-Rincon, Mauricio, Navarro, Gonzalo

Year:

2018

Language:

english

File:

PDF, 328 KB

english, 2018

8

A variant of the Ford–Johnson algorithm that is more space efficient

Mauricio Ayala-Rincón, Bruno T. de Abreu, José de Siqueira

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 208 KB

english, 2007

9

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10499 || Automating Formalization by Statistical and Semantic Parsing of Mathematics

Ayala-Rincón, Mauricio, Muñoz, César A.

Year:

2017

Language:

english

File:

PDF, 351 KB

english, 2017

10

Comparing Calculi of Explicit Substitutions with Eta-reduction

Mauricio Ayala-Rincón, Flávio L.C. de Moura, Fairouz Kamareddine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 1.36 MB

english, 2002

11

[IEEE 2010 VI Southern Programmable Logic Conference (SPL) - Ipojuca, Pernambuco, Brazil (2010.03.24-2010.03.26)] 2010 VI Southern Programmable Logic Conference (SPL) - FPGA based floating-point library for CORDIC algorithms

Munoz, Daniel M, Sanchez, Diego F., Llanos, Carlos H., Ayala-Rincon, Mauricio

Year:

2010

Language:

english

File:

PDF, 275 KB

english, 2010

12

A Formalisation of Nominal α -equivalence with A and AC Function Symbols

Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel, Nantes-Sobrinho, Daniele

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 355 KB

english, 2017

13

[IEEE 2012 7th Colombian Computing Congress (CCC) - Medellin, Colombia (2012.10.1-2012.10.5)] 2012 7th Colombian Computing Congress (CCC) - Complexity of Cayley distance and other general metrics on permutation groups

de Lima, Thaynara Arielly, Ayala-Rincon, Mauricio

Year:

2012

Language:

english

File:

PDF, 391 KB

english, 2012

14

[IEEE 2012 IEEE 3rd Latin American Symposium on Circuits and Systems (LASCAS) - Playa del Carmen, Mexico (2012.02.29-2012.03.2)] 2012 IEEE 3rd Latin American Symposium on Circuits and Systems (LASCAS) - Accelerating the artificial bee colony algorithm by hardware parallel implementations

Munoz, Daniel M., Llanos, Carlos H., dos S. Coelho, Leandro, Ayala-Rincon, Mauricio

Year:

2012

Language:

english

File:

PDF, 391 KB

english, 2012

15

[IEEE 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA) - Changsha, China (2010.09.23-2010.09.26)] 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA) - Comparison between two FPGA implementations of the Particle Swarm Optimization algorithm for high-performance embedded applications

Munoz, Daniel M., Llanos, Carlos H., Coelho, Leandro dos S., Ayala-Rincon, Mauricio

Year:

2010

Language:

english

File:

PDF, 1.39 MB

english, 2010

16

Preface

Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 144 KB

english, 2011

17

A Compressed Suffix Tree Based Implementation With Low Peak Memory Usage

Nogueira Nunes, Daniel Saad, Ayala-Rincón, Mauricio

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 407 KB

english, 2014

18

[IEEE 2011 VII Southern Conference on Programmable Logic (SPL) - Cordoba, Argentina (2011.04.13-2011.04.15)] 2011 VII Southern Conference on Programmable Logic (SPL) - Hardware Particle Swarm Optimization with passive congregation for embedded applications

Munoz, Daniel M., Llanos, Carlos H., Coelho, Leandro dos S., Ayala-Rincon, Mauricio

Year:

2011

Language:

english

File:

PDF, 284 KB

english, 2011

19

[IEEE 2013 NASA/ESA Conference on Adaptive Hardware and Systems (AHS) - Torino, Italy (2013.06.24-2013.06.27)] 2013 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2013) - Hardware-based parallel firefly algorithm for embedded applications

Munoz, Daniel M., Llanos, Carlos H., dos Santos Coelho, Leandro, Ayala-Rincon, Mauricio

Year:

2013

Language:

english

File:

PDF, 729 KB

english, 2013

20

[IEEE 2006 IEEE International Conference on Reconfigurable Computing and FPGA's (ReConFig 2006) - San Luis Potosi, Mexico (2006.09.20-2006.09.22)] 2006 IEEE International Conference on Reconfigurable Computing and FPGA's (ReConFig 2006) - Implementation, Simulation and Validation of Dispatching Algorithms for Elevator Systems

Munoz, Daniel, Llanos, Carlos, Ayala-Rincon, Mauricio, Els, Rudi

Year:

2006

Language:

english

File:

PDF, 700 KB

english, 2006

21

Explicit substitutions calculi with one step Eta-reduction decided explicitly

Ventura, D., Ayala-Rincon, M., Kamareddine, F.

Journal:

Logic Journal of IGPL

Year:

2009

Language:

english

File:

PDF, 278 KB

english, 2009

22

[IEEE 2016 IEEE Congress on Evolutionary Computation (CEC) - Vancouver, BC, Canada (2016.7.24-2016.7.29)] 2016 IEEE Congress on Evolutionary Computation (CEC) - Parallel memetic genetic algorithms for sorting unsigned genomes by translocations

da Silveira, Lucas A., Soncco-Alvarez, Jose L., Ayala-Rincon, Mauricio

Year:

2016

Language:

english

File:

PDF, 213 KB

english, 2016

23

A framework to visualize equivalences between computational models of regular languages

Mauricio Ayala-Rincón, Alexsandro F. da Fonseca, Haydée Werneck Poubel, José Siqueira

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 258 KB

english, 2002

24

[ACM Press the 19th annual symposium - Ouro Preto, MG, Brazil (2006.08.28-2006.09.01)] Proceedings of the 19th annual symposium on Integrated circuits and systems design - SBCCI '06 - Implementation of dispatching algorithms for elevator systems using reconfigurable architectures

Muñoz, Daniel M., Llanos, Carlos H., Ayala-Rincón, Mauricio, van Els, Rudi, Almeida, Renato P.

Year:

2006

Language:

english

File:

PDF, 456 KB

english, 2006

25

[IEEE Comput. Soc SCCC 2001. 21st International Conference of the Chilean Computer Science Society - Punta Arenas, Chile (7-9 Nov. 2001)] SCCC 2001. 21st International Conference of the Chilean Computer Science Society - An efficient strategy for word-cycle completion in finitely presented groups

Gadelha, L.M.R., Ayala-Rincon, M.

Year:

2001

Language:

english

File:

PDF, 136 KB

english, 2001

26

[IEEE 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) - Natal, Brazil (2019.11.19-2019.11.22)] 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) - Application of an Adaptive Genetic Algorithm for Task Mapping Optimisation on a Wormhole-based Real-time Network-on-Chip

de Barros, Jesse Barreto, Ayala-Rincon, Mauricio, Quintero, Carlos Humberto Llanos

Year:

2019

Language:

english

File:

PDF, 1.60 MB

english, 2019

27

Distributed approach to group control of elevator systems using fuzzy logic and FPGA implementation of dispatching algorithms

Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi H. van Els

Journal:

Engineering Applications of Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 2.10 MB

english, 2008

28

Hardware opposition-based PSO applied to mobile robot controllers

Muñoz, Daniel M., Llanos, Carlos H., Coelho, Leandro dos S., Ayala-Rincón, Mauricio

Journal:

Engineering Applications of Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 1.86 MB

english, 2014

29

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10499 || Certifying Standard and Stratified Datalog Inference Engines in SSReflect

Ayala-Rincón, Mauricio, Muñoz, César A.

Year:

2017

Language:

english

File:

PDF, 356 KB

english, 2017

30

Opposition-Based Memetic Algorithm and Hybrid Approach for Sorting Permutations by Reversals

Soncco-Álvarez, José Luis, Muñoz, Daniel M., Ayala-Rincón, Mauricio

Journal:

Evolutionary Computation

Year:

2018

Language:

english

File:

PDF, 2.04 MB

english, 2018

31

A formalisation of nominal α-equivalence with A, C, and AC function symbols

Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel, Nantes-Sobrinho, Daniele, Rocha-Oliveira, Ana Cristina

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 4.05 MB

english, 2019

32

Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic

Ayala-Rincón, M., Llanos, C. H., Jacobi, R. P., Hartenstein, R. W.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2006

Language:

english

File:

PDF, 819 KB

english, 2006

33

[ACM Press the 27th Symposium - Aracaju, Brazil (2014.09.01-2014.09.05)] Proceedings of the 27th Symposium on Integrated Circuits and Systems Design - SBCCI '14 - Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS

Almeida, Ariane Alves, Llanos, Carlos H., Arias-García, Janier, Ayala-Rincón, Mauricio

Year:

2014

Language:

english

File:

PDF, 323 KB

english, 2014

34

[IEEE 2017 IEEE Congress on Evolutionary Computation (CEC) - Donostia, San Sebastián, Spain (2017.6.5-2017.6.8)] 2017 IEEE Congress on Evolutionary Computation (CEC) - Parallel genetic algorithms with sharing of individuals for sorting unsigned genomes by reversals

da Silveira, Lucas Angelo, Soncco-Alvarez, Jose Luis, Ayala-Rincon, Mauricio

Year:

2017

Language:

english

File:

PDF, 777 KB

english, 2017

35

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10499 || Proof Tactics for Assertions in Separation Logic

Ayala-Rincón, Mauricio, Muñoz, César A.

Year:

2017

Language:

english

File:

PDF, 655 KB

english, 2017

36

Preface

Mauricio Ayala-Rincón, Fairouz Kamareddine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 106 KB

english, 2009

37

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10499 || How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation

Ayala-Rincón, Mauricio, Muñoz, César A.

Year:

2017

Language:

english

File:

PDF, 457 KB

english, 2017

38

[IEEE 2020 IEEE Congress on Evolutionary Computation (CEC) - Glasgow, United Kingdom (2020.7.19-2020.7.24)] 2020 IEEE Congress on Evolutionary Computation (CEC) - Behavior of Bioinspired Algorithms in Parallel Island Models

da Silveira, Lucas A., Soncco-Alvarez, Jose L., de Lima, Thaynara A., Ayala-Rincon, Mauricio

Year:

2020

File:

PDF, 805 KB

2020

39

Applying ELAN Strategies in Simulating Processors over Simple Architectures

Mauricio Ayala-Rincón, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 975 KB

english, 2002

40

17TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2010)

Anuj Dawar, Mauricio Ayala-Rincon and Ruy de Queiroz

Journal:

Bulletin of Symbolic Logic

Year:

2011

Language:

english

File:

PDF, 253 KB

english, 2011

41

Preface

Ayala-Rincón, Mauricio, Mackie, Ian

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 103 KB

english, 2015

42

On automating the extraction of programs from proofs using product types

Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 1.45 MB

english, 2002

43

Checking Overlaps of Nominal Rewriting Rules

Ayala-Rincón, Mauricio, Fernández, Maribel, Gabbay, Murdoch James, Rocha-Oliveira, Ana Cristina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 367 KB

english, 2016

44

Nominal essential intersection types

Ayala-Rincón, Maurício, Fernández, Maribel, Rocha-Oliveira, Ana Cristina, Ventura, Daniel Lima

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 553 KB

english, 2018

45

[IEEE International Conference on Field Programmable Logic and Applications, 2005. - Tampere, Finland (Aug. 24-26, 2005)] International Conference on Field Programmable Logic and Applications, 2005. - Felix: using rewriting-logic for generating functionally equivalent implementations

Morra, C., Becker, J., Ayala-Rincon, M., Hartenstein, R.

Year:

2005

Language:

english

File:

PDF, 194 KB

english, 2005

46

[IEEE Comput. Soc 16th Symposium on Integrated Circuits and Systems Design. SBCCI 2003 - Sao Paulo, Brazil (8-11 Sept. 2003)] 16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings. - Modeling a reconfigurable system for computing the FFT in place via rewriting-logic

Ayala-Rincon, M., Nogueira, R.B., Llanos, C.H., Jacobi, R.P., Hartenstein, R.W.

Year:

2003

Language:

english

File:

PDF, 352 KB

english, 2003

47

Completeness in PVS of a Nominal Unification Algorithm

Ayala-Rincón, Mauricio, Fernández, Maribel, Rocha-Oliveira, Ana Cristina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 251 KB

english, 2016

48

Selected Extended Papers of ITP 2017

Ayala-Rincón, Mauricio, Muñoz, César

Journal:

Journal of Automated Reasoning

Year:

2019

File:

PDF, 321 KB

2019

49

[IEEE 2009 Ninth International Conference on Intelligent Systems Design and Applications - Pisa, Italy (2009.11.30-2009.12.2)] 2009 Ninth International Conference on Intelligent Systems Design and Applications - Hardware Architecture for Particle Swarm Optimization Using Floating-Point Arithmetic

Arboleda, Daniel M. Muñoz, Llanos, Carlos H., Coelho, Leandro dos_S., Ayala-Rincón, Mauricio

Year:

2009

File:

PDF, 244 KB

2009

50

[IEEE 2012 VIII Southern Conference on Programmable Logic (SPL) - Bento Goncalves (2012.03.20-2012.03.23)] 2012 VIII Southern Conference on Programmable Logic - FPGA implementation of large-scale matrix inversion using single, double and custom floating-point precision

Arias-Garcia, J., Llanos, Carlos H., Ayala-Rincon, M., Jacobi, R. P.

Year:

2012

Language:

english

File:

PDF, 304 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски